THEORETICAL BASIS OF PATTERN LANGUAGE:MATHEMATICAL STRUCTURALISM AND HILBERT'S FORMALISM
نویسندگان
چکیده
منابع مشابه
Curry's Formalism as Structuralism
In 1939, Curry proposed a philosophy of mathematics he called formalism. He made this proposal in two works originally written in 1939. These are the two philosophical works for which Curry is known, and they have left a false impression of his views. In this article, I propose to clarify Curry’s views by referring to some of his later writings on the subject. I claim that Curry’s philosophy wa...
متن کاملthe study of practical and theoretical foundation of credit risk and its coverage
پس از بررسی هر کدام از فاکتورهای نوع صنعت, نوع ضمانت نامه, نرخ بهره , نرخ تورم, ریسک اعتباری کشورها, کارمزد, ریکاوری, gdp, پوشش و وثیقه بر ریسک اعتباری صندوق ضمانت صادرات ایران مشخص گردید که همه فاکتورها به استثنای ریسک اعتباری کشورها و کارمزد بقیه فاکتورها رابطه معناداری با ریسک اعتباری دارند در ضمن نرخ بهره , نرخ تورم, ریکاوری, و نوع صنعت و ریسک کشورها اثر عکس روی ریسک اعتباری داردو پوشش, وثی...
15 صفحه اولCarnap on theoretical terms: structuralism without metaphysics
Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap’s developed view on theoretical terms, which attempts to stake out a neutral position between realism and instrumentalism. I argue that Carnap’s mature conception of a scientific theory as the conjunction of its Ramsey sentence and Carnap sentence can indeed achieve this neutral position. To see t...
متن کاملQuantum Games: a theoretical formalism
We pursue a general theory of quantum games. We show that quantum games are more efficient than classical games, and provide a saturated upper bound for this efficiency. We also demonstrate how quantum games may be viewed simultaneously as both a generalized and yet restricted version of the corresponding classical games. We also deduce the quantum version of the Minimax Theorem and the Nash Eq...
متن کاملStructuralism, post-structuralism, and the library: de Saussure and Foucault
Purpose – Explores the relevance of structuralism and post-structuralism to the field of library and information science (LIS). Design/methodology/approach – The paper is a literature-based conceptual analysis of the two philosophical movements, structuralism and post-structuralism, as represented by the seminal figures of Ferdinand de Saussure and Michel Foucault. Findings – The principles of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Architecture and Planning (Transactions of AIJ)
سال: 2010
ISSN: 1340-4210,1881-8161
DOI: 10.3130/aija.75.2989